A Hybrid Framework for Representing Uncertain Knowledge
نویسنده
چکیده
This paper addresses the problem of bridging the gap between the fields of Knowledge Renresentation OCR) and Uncertain Reasoning (UR). The prohosed solution consists of a framework for representing uncertain knowledge in which two components, one dealing with (categorical) knowledge and one dealing with uncertainty about this knowledge, are singled out. In this sense, the framework is “hybrid”. This framework is characterized in both modeltheoretic and proof-theoretic terms. State of belief is represented by “belief sets”, defined in terms of the “functional approach to knowledge representation” suggested by Levesque. Examples are given, using first order logic and (a minimal subset of) M-Krypton for the KR side, and a yes/no trivial case and Dempster-Shafer theory for the UR side.
منابع مشابه
Hybrid Logic and Uncertain Logic
Probabilistic logic and credibilistic logic are two branches of multi-valued logic for dealing with random knowledge and fuzzy knowledge, respectively. In this paper, a hybrid logic is introduced for dealing with random knowledge and fuzzy knowledge simultaneously. First, a hybrid formula is introduced on the basis of random proposition and fuzzy proposition. Furthermore, a hybrid truth value i...
متن کاملMaterializing and Persisting Inferred and Uncertain Knowledge in RDF Datasets
As the semantic web grows in popularity and enters the mainstream of computer technology, RDF (Resource Description Framework) datasets are becoming larger and more complex. Advanced semantic web ontologies, especially in medicine and science, are developing. As more complex ontologies are developed, there is a growing need for efficient queries that handle inference. In areas such as research,...
متن کاملA Novel Hybrid Modified Binary Particle Swarm Optimization Algorithm for the Uncertain p-Median Location Problem
Here, we investigate the classical p-median location problem on a network in which the vertex weights and the distances between vertices are uncertain. We propose a programming model for the uncertain p-median location problem with tail value at risk objective. Then, we show that it is NP-hard. Therefore, a novel hybrid modified binary particle swarm optimization algorithm is presented to obtai...
متن کاملA Framework for Representing Algebrai Knowledge Using a Hybrid Knowledge Representation System
متن کامل
Representing Context-Sensitive Knowledge in a Network Formalism: A Preliminary Report
Automated decision making is often complicated by the complexity of tlle knowledge involved. Much of tllis complexity arises from tlle context sensitive variations of the underlying phenom ena. We propose a framework for representing descriptive, context-sensitive knowledge. Our approach attempts to integrate categorical and uncertain knowledge in a network formalism. This paper outlines the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1990